🇬🇧 en ru 🇷🇺

Gödel's incompleteness theorem properNoun

  • (logic, mathematics) Either of two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
 Теоремы Гёделя о неполноте
Wiktionary Links